#ifndef __CNF_DATA_H__
#define __CNF_DATA_H__

#include <vector>
#include "literal.h"

class CNFData
{
public:

	CNFData();
	~CNFData();

	void allocate_pinned_memory( void**, size_t, unsigned int );

	std::vector < Lbool > _result;
	std::vector < std::vector < Lbool > > _output;

	int _litArrSize;
	int _litArrIndexSize;
	int _unitClaArrSize;
	int _claArrSize;
	int _claArrIndexSize;

	int* _litArr;
	Lit* _unitClaArr;
	Lit* _claArr;
	int* _litArrIndex;
	int* _claArrIndex;
	Lbool* _varAssignment;
};

#endif /* __CNF_DATA_H__ */
